Verifying Off-Chain Computations